theorem machine prove
[计] 定理机器证明
热门查询
- aliveness n. 活力
- lodgings n. 寄宿; 住所; 寄宿舍; 租住的房间; 出租的房间( lodging的名词复数 ); 暂住; 寄宿; 借宿
- numbskull n. 傻瓜，笨蛋（等于numskull）
- telecommunications n. 通讯行业：服务类型变更，缴纳话费，账户总览等所有业务均可通过移动设备完成
- marcher n. 行进者，游行者 n. (Marcher)人名；(法)马尔谢
- malted n. （美）麦芽酒 v. 作成麦芽；用麦芽处理（malt的过去式）
- anymore adv. 再也不，不再
- wanderlust n. 流浪癖；漫游癖；旅游热
- plantain n. 车前草，香蕉之一种
- hydroelectric adj. 水力发电的；水电治疗的
- obliteration n. 闭塞；涂去，删除；消灭
- adequately adv. 充分地；足够地；适当地
- photographically adv. 用照相；逼真地
- taxon n. [生物] 分类单元；分类学 adj. 分类的；分类学的
- wildland n. 荒地
- feuding n. 不和；争执；封地 vi. 长期不和；长期争斗
- comment n. 评论；意见；批评 vi. 发表评论；发表意见 vt. 为…作评语 n. (Comment)人名；(德)科门特；(法)科芒
- watcher n. 观察者；看守人；哨兵；（美）选举监票员
- scratcher n. 抓扒者；抓扒工具
- cornwall n. 康沃尔（英格兰西南部一郡，加拿大城市名）
考试词汇表
- Pantothenate,Calcium
- Panzeria alaschanica
- Papadopoulos, George
- Papandreou, Georgios
- Papanicolaou's smear
- Papanicolaou's stain
- Papaver californicum
- Papaver nudicaule L.
- Paphiopedilum wardii
- Papillae lentiformes
- Papillapogon auritus
- Papillary Carcinomas
- Papillary Ependymoma
- Papillary Meningioma
- Papillas,Interdental
- Papillomavirus,Human
- Pappus of Alexandria
- Papuan monetary unit
- Papular skin disease
- Papulovesicular rash
